﻿#include<iostream>
using namespace std;

// 由于引用折叠限定，f1实例化以后总是⼀个左值引用
template<class T>
void f1(T& x)
{
}

// 由于引用折叠限定，f2实例化后可以是左值引用，也可以是右值引用
template<class T>
void f2(T && x)
{
}

template<class T>
void Function(T&& t)
{
	int a = 0;
	T x = a;
	//x++;
	cout << &a << endl;
	cout << &x << endl << endl;
}


int main()
{
	// 10是右值，推导出T为int，模板实例化为void Function(int&& t) 
	Function(10); // 右值 

	int a;
	// a是左值，推导出T为int&，引用折叠，模板实例化为void Function(int& t)
	Function(a); // 左值 

	// std::move(a)是右值，推导出T为int，模板实例化为void Function(int&& t)
	Function(std::move(a)); // 右值 

	const int b = 8;
	// b是左值，推导出T为const int&，引用折叠，模板实例化为void Function(const int& t)
	// 所以Function内部会编译报错，x不能++ 
	Function(b); // const 左值 

	// std::move(b)右值，推导出T为const int，模板实例化为void Function(const int&& t)
	// 所以Function内部会编译报错，x不能++ 
	Function(std::move(b)); // const 右值 

}

//int main()
//{
//	typedef int& lref;
//	typedef int&& rref;
//	int n = 0;
//	lref& r1 = n; // r1 的类型是 int& 
//	lref&& r2 = n; // r2 的类型是 int& 
//	rref& r3 = n; // r3 的类型是 int& 
//	rref&& r4 = 1; // r4 的类型是 int&& 
//
//
//	// 没有折叠->实例化为void f1(int& x) 
//	f1<int>(n);
//	//f1<int>(0); // 报错 
//
//	// 折叠->实例化为void f1(int& x) 
//	f1<int&>(n);
//	//f1<int&>(0); // 报错 
//
//	// 折叠->实例化为void f1(int& x) 
//	f1<int&&>(n);
//	//f1<int&&>(0); // 报错 
//
//	// 折叠->实例化为void f1(const int& x) 
//	f1<const int&>(n);
//	f1<const int&>(0);
//
//	// 折叠->实例化为void f1(const int& x) 
//	f1<const int&&>(n);
//	f1<const int&&>(0);
//
//	// 没有折叠->实例化为void f2(int&& x) 
//	//f2<int>(n); // 报错 
//	f2<int>(0);
//
//	// 折叠->实例化为void f2(int& x) 
//	f2<int&>(n);
//	//f2<int&>(0); // 报错 
//
//	// 折叠->实例化为void f2(int&& x) 
//	//f2<int&&>(n); // 报错 
//	f2<int&&>(0);
//}